package sketch.specs;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class Z_Sketch_ValueExpansion extends TestCase {
	
	@TestSketch
	public void testMethod1() {
		int i = Values.choose(1, 2);
		i++;
		method1(i);
		if( --i > 0) {
			
		}
	}
	
	@TestSketch
	public void testMethod2() {
		Integer[] is = Values.exhaust(1, 2);
		for(int i = 0; i <is.length; i++) {
			System.out.println(i);
		}
		method2(is);
		if(is.length > 0) {
			
		}
	}
	
	private void method1(int i) {
		//a mocking method
	}
	
	private void method2(Integer[] is) {
		//a mocking method
	}
	
}
